Automated Design of Finite State Machine Predictors

نویسندگان

  • Timothy Sherwood
  • Brad Calder
چکیده

Finite State Machines (FSM) are a fundamental building block in computer architecture, and are used to control and optimize all types of prediction and speculation, now even in the embedded space. They are used for branch prediction, cache replacement policies, and confidence estimation and accuracy counters for a variety of optimizations. In this paper, we present a framework for automated design of small FSM predictors for general purpose and customized processors. Our approach can be used to automatically generate small FSM predictors to perform well over a suite of applications for a general purpose processor, or tailored to a specific application, or even a specific instruction for a customized processor. We evaluate the performance of automatically generating FSM predictors for branch prediction and confidence estimation for value prediction.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Restricted cascade and wreath products of fuzzy finite switchboard state machines

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

متن کامل

Simulation and Experimental Study of Vibration and Noise of Pure Electric Bus Transmission based on Finite Element and Boundary Element Methods

Since the electric motor of pure electric vehicle replaced the engine, the "masking effect" disappears, and the problem of vibration and noise of the transmission becomes prominent. This is generated during the gear meshing and is transmitted to the housing through the shaft and bearing. Thereby, radiation noise of the housing are generated. The prediction and analysis...

متن کامل

Adaptive L-Predictors Based on Finite State Machine Context Selection

In this paper we introduce a new class of adap-tive nonlinear predictors by allowing the parameters of the L-predictor to be selected according to the transitions in a Finite State Machine context modeller. A procedure for the adaptive design of the general un-constrained FSM-context L-predictor is proposed and compared with the classical design techniques for some particular FSM-L predictors. ...

متن کامل

Kharkov National University of Radioelectronics

Extended Finite State Machines (EFSMs) are often used in model-based development and for modeling VHDL specifications. This paper proposes an approach for automated test generation for EFSM models. Design by contract approach is applied to formalize specification requirements. Genetic algorithm is proposed to find set of values that triggers given path in the EFSM and reveals inconsistensies wi...

متن کامل

Design by contract approach to test generation for EFSMs using GA

Design by contract approach prescribes that developer should define formal and verifiable interface specifications for software components and makes it possible to automate process of software testing. We propose to adapt this approach for Extended Finite State Machines (EFSMs), which are often used in model-based development and for modeling VHDL specifications. This paper proposes an approach...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001